Software Development from Reusable Components and Controllers

The design of components for open and distributed systems is challenging the software community with its specific problems. One of the current approaches is based on a reflective model that uses standard, independent, composible meta-components (controllers) to coordinate components and modify their behavior according to the user requirements. This paper introduces a methodology for the development of such controllers, based on a systematic process that produces several outcomes, from their formal specifications to their implementation.